Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
- Författare
- (Edited by David N. Jansen, Pavithra Prabhakar.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2018 | Tyskland, Cham | X, 289 sidor. 59 illus. online resource. | 978-3-030-00151-3 |